The Substitution Vanishes
نویسندگان
چکیده
Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient programs, which use accumulating parameters instead (like efficient list reversal). In this paper we present a generalized and automatic accumulation technique that also handles programs operating with unary functions on arbitrary tree structures and employing substitution functions on trees which may replace different designated symbols by different trees. We show that this transformation does not deteriorate the efficiency with respect to call-by-need reduction.
منابع مشابه
Substitution as a Device of Grammatical Cohesion in English Contexts
The present study set out to investigate the effect of teaching substitution as a kind of grammatical cohesion on the true identification of confusing substitution elements with cohesive or non-cohesive roles in different contexts and also the production of modal, reporting and conditional contexts through clausal substitution acquaintance. To this end, the following procedures were taken. Firs...
متن کاملKinetics and Mechanism of the Substitution of Ligand (Urea) of [Ti(ur)6]3+ by H2O and SCN¯ in Ethanol Solution
The kinetics of substitution of [Ti(ur)6]3+ by H2O and SCN¯ ion in ethanol solution have been measured spectrophotometrically by stopped-flow method. Water is a good nucleophile toward Ti(III) substrates. Even the solvent ethanol appears to be a poor ligand when compared to water. Substitution, in general follows two parallel pathways: "direct" (second order...
متن کاملA Conversation Analysis of Ellipsis and Substitution in Global Business English Textbooks
Despite the body of research on textbook evaluation from the discourse analysis perspective, cohesive devices have rarely been analyzed in English for Specific Purposes (ESP) textbooks. The acquisition and use of cohesive devices is inherent to naturalistic communication, including business interactions. Hence, L2 learners of business English should be exposed to these devices through cohesion-...
متن کاملSuppression of ferromagnetism in the LaVxCr1â‹TMxGe3 system
We report the synthesis of hexagonal LaV x Cr 1−x Ge 3 (x = 0–0.21, 1.00) single crystals and present a systematic study of this series by measurements of temperature-and field-dependent magnetic susceptibility, magnetization, resistivity, and specific heat. Ferromagnetism has been observed for x = 0–0.21. The Curie temperature declines monotonically as the V concentration increases. Single-cry...
متن کاملExact solution of a model of a vesicle attached to a wall subject to mechanical deformation
Area-weighted Dyck-paths are a two-dimensional model for vesicles attached to a wall. We model the mechanical response of a vesicle to a pulling force by extending this model. We obtain an exact solution using two different approaches, leading to a q-deformation of an algebraic functional equation, and a q-deformation of a linear functional equation with a catalytic variable, respectively. Whil...
متن کامل